Though the phrase 'x is true of x' is well formed grammatically, it does not express any predicate in the logical sense, because it does not satisfy the principle of reduction for statements containing 'x is true of'. recognition of this allows for solution of russell's paradox without his restrictive theory of types.